<?php print shell_exec('php -q PHPWebSocket/server.php'); ?>